https://dasbestelexikon.de/it/wiki/Teorema_di_Böhm-Jacopini